l\_intersection(${\it eq}$;$L_{1}$;$L_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$$x$.deq{-}member(${\it eq}$;$x$;$L_{2}$);$L_{1}$)